hasse diagram of relation